#include <std.h>
#include <system.h>
#include <text.h> 
#include <keyboard.h>
#include <pio.h>
#include <error.h>

int init()
{
	char *em;
	init_video();
	printf("\nLoading Tuxoep...");
	init_mm();
	init_cpu();
	init_biosi();
	init_pg();
	init_irq();
	init_timer();
	init_sched();
}

void post_sched_init()
{
	init_dint();
	cl();
}
